sem{-}satisfiable($S$;${\it Pgm}$;$X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$${\it pr}$:${\it Pgm}$. sem{-}sat($S$;${\it pr}$;$X$)